Семёнов А. А. «О ПРЕОБРАЗОВАНИЯХ ЦЕЙТИНА В ЛОГИЧЕСКИХ УРАВНЕНИЯХ » // Прикладная дискретная математика 2009. №4(6) C.28-50
Игнатьев А. С. , Семенов А. А. «АЛГОРИТМЫ РАБОТЫ С ROBDD КАК С БАЗАМИ БУЛЕВЫХ ОГРАНИЧЕНИЙ» // Прикладная дискретная математика 2010. №1(7) C.86-104